# name: double_exponential_cdf
# key: double_exponential_cdf
# group: Functions
# --
double_exponential_cdf(${1:y}, ${2:mu}, ${3:sigma})$0